Section: New Results

Extrapolation operators for combinations of abstract domains

Participants : Agostino Cortesi [Università Ca'Foscardi di Venizia] , Matteo Zanioli.

Extrapolation operators are crucial to ensure the scalability of the analysis to large software systems. In [10] , we set the ground for a systematic design of widening and narrowing operators, by comparing the different definitions introduced in the literature and by discussing how to tune them in case of domain abstraction and domains' combination through Cartesian and reduced products.